Tootfinder

The Logic of Correct Models
Juan Pablo Aguilera, Fedor Pakhomov
https://arxiv.org/abs/2402.15382 https://arxiv.org/pdf/2402.15382

The Logic of Correct Models
For each $n\in\mathbb{N}$, let $[n]ϕ$ mean "the sentence $ϕ$ is true in all $Σ_{n+1}$-correct transitive sets." Assuming Gödel's axiom $V = L$, we prove the following graded variant of Solovay's completeness theorem: the set of formulas valid under this interpretation is precisely the set of theorems of the linear provability logic GLP.3. We also show that this result is not provable in ZFC, so the hypothesis V = L cannot be removed. As part of the proof, we derive (in ZFC) the following pu…

Military: Russian drone flew across Moldovan border: https://benborges.xyz/2024/02/27/military-russian-drone.html

TIL that Brendan Fraser gender swapped the character Anck-Su-Namun on the set of “The Mummy” as a prank and my love for him grows.
https://channels.im/@fxoxo/111660568668910336

F*XOXO (@fxoxo@channels.im)
Attached: 1 image Petition to put Brendan Fraser in films again https://www.fxoxo.com/31854/ #BehindTheScenes #Movie #Movies #MoviesInTheMaking

An article I've written on playtesting for innovation has just been published in the "Game Developer" Magazine.
It's about how we can facilitate more innovation in games, but also applies to films, TV shows, novels, plays, non-fiction writing, anything in life! :)
https…

Laut Beschreibung ist dies eine ehemalige "Mietskasernen" und das Gerichtsgebäude in der sehenswerten Stadt #Bamberg. #Reise

Here are the states where 2020 Trump electors have been charged
Republicans in four states are facing charges after submitting documents to Congress falsely claiming that Donald Trump won the 2020 presidential election in their states.
Investigations are ongoing and more charges could be filed.

Every four years, presidential electors in every state meet on the same day in December to submit electoral ballots to federal authorities so Congress can finalize the results.

Here are the states where 2020 Trump electors have been charged
Republicans around the country have been charged with forgery and other crimes for filing paperwork claiming to be presidential electors in states that Donald Trump lost.

The Logic of Correct Models
Juan Pablo Aguilera, Fedor Pakhomov
https://arxiv.org/abs/2402.15382 https://arxiv.org/pdf/2402.15382

The Logic of Correct Models
For each $n\in\mathbb{N}$, let $[n]ϕ$ mean "the sentence $ϕ$ is true in all $Σ_{n+1}$-correct transitive sets." Assuming Gödel's axiom $V = L$, we prove the following graded variant of Solovay's completeness theorem: the set of formulas valid under this interpretation is precisely the set of theorems of the linear provability logic GLP.3. We also show that this result is not provable in ZFC, so the hypothesis V = L cannot be removed. As part of the proof, we derive (in ZFC) the following pu…

Don't forget, #AllThingsTech has our own Discord server for those that are looking to hang out and chat outside of Mastodon.
We feel that there are often times that longer, more in-depth conversations are wanted/needed and Discord is a great place to have those conversations.
It's a great place to give us feedback about our server to help make it a better place.…

It's time again for me to ask if anyone knows of any long term projects or roles in illustration and design!
I have over 16 years experience in working within remote/distributed teams and agencies and am efficient in using Adobe CC, Figma, Webflow, Miro. I've done everything from icon and logo/brand design, editorial, interactive brochures and forms, character design.

Andy Carolan
Andy Carolan is an illustrator and designer living in the UK. His work is playful and fun with a bold and bright style.He can be discovered flying solo or as part of a distributed team completing missions globally, spanning illustration, design and creative direction.

Hey WaPo, here is how you cover the news instead of regurgitating police reports.
It takes maybe 3 minutes of research.
https://www.ffxnow.com/2024/02/21/just-in-man-arrested-for-allegedly-fleeing-crash-in-…

Man arrested for allegedly fleeing crash in Woodlawn that killed pedestrian | FFXnow